- доказательств теория
- доказаў тэорыя
Русско-белорусский математический словарь. 2013.
доказательств теория
Смотреть что такое "доказательств теория" в других словарях:
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
Теория доказательств — Теория доказательств это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно… … Википедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Теория струн — Теория суперструн Теория … Википедия
Теория зависимости — или Теория зависимого развития теория в области смежных социальных наук, в основании которой лежит утверждение о том, что экономическая отсталость и политическая нестабильность слаборазвитых, развивающихся стран является результатом их интеграции … Википедия
Теория катастроф (Арнольд) — Теория катастроф книга, написанная В.И. Арнольдом в 1990 (3 е издание, первый неполный вариант книги вышел еще в начале 1980 х) и посвященная изложению теории катастроф. Содержание 1 Структура 2 Содержание … Википедия
Теория неожидаемой полезности — (англ. Nonexpected Utility Theory) теория, согласно которой вероятности входят нелинейным образом в функцию полезности. Несмотря на широту применения, теория ожидаемой полезности и теория субъективной ожидаемой полезности многократно… … Википедия
теория доказательств — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN proof theory … Справочник технического переводчика
Теория естественного права — Теория естественного права право у человека возникает от рождения и природы, который обладает неотъемлемыми естественными правами (право на жизнь, свободу, равенство), которые нельзя отменить, изменить. Законы соответствуют нравственным… … Википедия
ТЕОРИЯ — жен., греч. умозренье, умозаключенье; заключенье, вывод из чего либо, не по явленью на деле, а по выводам своим; противоположное дело, на деле, опыт, практика. Теория не всегда верна; она ждет подтвержденья опыта. Теоретический, умозрительный,… … Толковый словарь Даля
